Formal verification

Results: 829



#Item
201

Using High Performance SAT and QBF Solvers Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria

Add to Reading List

Source URL: fmv.jku.at

Language: English - Date: 2016-03-03 08:20:54
    202

    Efficiently Solving Bit-Vector Problems Using Model Checkers Andreas Fr¨ ohlich, Gergely Kov´asznai, Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

    Add to Reading List

    Source URL: smt2013.fbk.eu

    Language: English - Date: 2013-07-15 07:39:36
      203

      Formal Verification of Language-Based Concurrent Noninterference Andrei Popescu Technische Universit¨at M¨ unchen and Institute of Mathematics Simion Stoilow of the Romanian Academy

      Add to Reading List

      Source URL: www.eis.mdx.ac.uk

      Language: English - Date: 2014-12-16 18:16:53
        204

        Lingeling and Friends at the SAT Competition 2011 Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

        Add to Reading List

        Source URL: fmv.jku.at

        Language: English - Date: 2016-02-10 13:58:47
          205

          Definability of Accelerated Relations in a Theory of Arrays and its Applications Francesco Alberti1 , Silvio Ghilardi2 , Natasha Sharygina1 1 Formal Verification Lab, University of Lugano, Lugano, Switzerland

          Add to Reading List

          Source URL: users.mat.unimi.it

          Language: English - Date: 2013-06-11 05:19:43
            206

            On Bridging Simulation and Formal Verification Eugene Goldberg Cadence Berkeley Labs, USA, 1995 University Ave., Suite 460, Berkeley, California, 94704, phone: (, fax: (, Abst

            Add to Reading List

            Source URL: eigold.tripod.com

            Language: English - Date: 2007-07-29 23:48:20
              207

              Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider the formal verification of the cache coherence

              Add to Reading List

              Source URL: www.kenmcmil.com

              Language: English - Date: 2006-06-02 17:23:24
                208

                Logic in Automatic Verification Javier Esparza Sofware Reliability and Security Group Institute for Formal Methods in Computer Science University of Stuttgart

                Add to Reading List

                Source URL: www7.in.tum.de

                Language: English - Date: 2007-05-25 06:28:10
                  209

                  – Discussion Paper – Must Program Verification Systems and Calculi Be Verified? Bernhard Beckert and Vladimir Klebanov University of Koblenz-Landau

                  Add to Reading List

                  Source URL: formal.iti.kit.edu

                  Language: English - Date: 2014-02-04 15:10:30
                    UPDATE